﻿using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.Text;
using System.Windows.Forms;
using Core;
using Generators;

namespace _0512085
{
    public partial class Form1 : Form
    {
        public Form1()
        {
            InitializeComponent();

            rtbInput.Text = "Soluongnamnhuan (a:R) kq:N \n";
            rtbInput.Text += "pre A>=0 and B>=0 and A<=B";
        }

        private void btnParse_Click(object sender, EventArgs e)
        {
            rtbLog.Clear();

            //try
            {
                rtbLog.Text = Parser.Parse(rtbInput.Text);
            }
//             catch (System.Exception ex)
//             {
//                 rtbLog.Text = ex.Message;
//                 return;
//             }
        }
    }
}
